The overlap algebra of regular opens
نویسندگان
چکیده
منابع مشابه
Regular opens in constructive topology and a representation theorem for overlap algebras
Giovanni Sambin has recently introduced the notion of an overlap algebra in order to give a constructive counterpart to a complete Boolean algebra. We propose a new notion of regular open subset within the framework of intuitionistic, predicative Topology and we use it to give a representation theorem for (set-based) overlap algebras. In particular we show that there exists a duality between th...
متن کاملOverlap-Free Regular Languages
We define a language to be overlap-free if any two distinct strings in the language do not overlap with each other. We observe that overlap-free languages are a proper subfamily of infix-free languages and also a proper subfamily of comma-free languages. Based on these observations, we design a polynomial-time algorithm that determines overlapfreeness of a regular language. We consider two case...
متن کاملLogic Meets Algebra: the Case of Regular Languages
The study of finite automata and regular languages is a privileged meeting point of algebra and logic. Since the work of Büchi, regular languages have been classified according to their descriptive complexity, i.e. the type of logical formalism required to define them. The algebraic point of view on automata is an essential complement of this classification: by providing alternative, algebraic ...
متن کاملThe Regular C * - algebra of an Integral Domain Joachim Cuntz
To each integral domain R with finite quotients we associate a purely infinite simple C*-algebra in a very natural way. Its stabilization can be identified with the crossed product of the algebra of continuous functions on the “finite adele space” corresponding to R by the action of the ax+ b-group over the quotient field Q(R). We study the relationship to generalized Bost-Connes systems and de...
متن کاملStructure that Opens the Gate and Opens the Door
Sometimes the best way to solve a problem is to look at it from a different perspective. That is certainly the case in ion channel research. Hodgkin and Huxley must have realized that 50 years ago when they looked at membrane currents with a voltage clamp, and Sakmann and Neher realized it 20 years ago when they measured Possible Symmetries of Tetrameric Channel single-channel currents with the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2010
ISSN: 0022-4049
DOI: 10.1016/j.jpaa.2010.02.002